#ifndef UTILS_H
#define UTILS_H

extern void kprintf(char *format, ...);

#endif
